-
1 recursive arithmetic
Большой англо-русский и русско-английский словарь > recursive arithmetic
-
2 recursive arithmetic
Математика: рекурсивная арифметика -
3 recursive arithmetic
English-Russian scientific dictionary > recursive arithmetic
-
4 primitive recursive arithmetic
Математика: примитивно рекурсивная арифметикаУниверсальный англо-русский словарь > primitive recursive arithmetic
-
5 primitive recursive arithmetic
English-Russian scientific dictionary > primitive recursive arithmetic
-
6 arithmetic
1) арифметика || арифметический2) арифметические действия, арифметические операции• -
7 рекурсивная арифметика
Большой англо-русский и русско-английский словарь > рекурсивная арифметика
-
8 number
1) число || числовой2) номер || нумеровать3) код числа4) количество5) колонцифра6) численность || считать, подсчитывать, исчислять8) числительное•a great number of — множество, большое количество
a number of — (целый) ряд, некоторое количество
- absolutely pseudoprime number - connectivity number - deficient number - edge attachment number - edge covering number - edge sensitivity number - expected sample number - general recursively irrational number - geodesic crossing number - integer number - integral number - internal stability number - international customer number - mass exchange number - mixed-radix number - Mohs hardness number - number of principal cotype - number of space dimensions - octonary number - one-digit number - one-figure number - one's complement number - rectilinear crossing number - recursively real number - serial number - Shore hardness number - strictly positive number - vertex covering numberwinding number of a curve with respect to the point — порядок кривой относительно точки (число оборотов вектора, соединяющего данную точку с точкой кривой при обходе кривой)
-
9 function
ˈfʌnŋkʃən функция, назначение - the * of education is to develop the mind образование имеет своей целью развить умственные способности - glass has an important * in modern architecture стекло занимает важное место в современной архитектуре функция, деятельность;
отправление( организма) - regular *s of the body нормальные функции организма - *s of the nerves функционирование нервной системы обыкн pl должностные обязанности, функции;
круг обязанностей - to perform one's daily *s выполнять повседневные служебные обязанности - to exercise administrative *s исполнять административные обязанности торжественная церемония;
торжество - * to be held on... торжественное собрание состоится... - to attend a great state * присутствовать на большом торжестве (разговорное) прием, вечер - quite a small * вечеринка - to see smb. at a * встретить кого-л на приеме (математика) функция - * linear * линейная функция функционировать, действовать;
работать - the telephone was not *ing телефон не работал выполнять функции, исполнять обязанности - the new official started *ing новый чиновник приступил к своим обязанностям - when the mother was ill the eldest girl had to * as both cook and housemaid когда мать была больна, старшей девочке приходилось и готовить, и убирать дом - in earlier English the present tense often *ed as the future в древнеанглийском языке настоящее время часто заменяло будущее address ~ вчт. адресная функция administrative ~ управленческая функция approximation ~ аппроксимирующая функция arithmetic ~ арифметическая функция array handling ~ вчт. функция обработки массивов as a ~ в качестве функции average sample number ~ функция среднего числа наблюдений belief ~ функция доверия blending ~ стыковочная функция Boolean ~ мат. булева функция buffer ~ согласующая функция buffer ~ функция буферного запаса built-in ~ вчт. встроенная функция built-in ~ стандартная функция bus resolution ~ вчт. функция разрешения шины circuit ~ вчт. схемная функция constraint ~ функция ограничений consumption ~ функция потребления convex ~ выпуклая функция covariance ~ функция ковариации criterion ~ оценочная функция criterion ~ целевая функция cumulative distribution ~ стат. интегральная функция распределения damped ~ затухающая функция decision ~ решающая функция degate ~ блокирующая функция demand ~ функция спроса driving ~ задающая функция dual ~ двойственная функция empiric distribution ~ эмпирическая функция распределения empiric ~ эмпирическая функция empirical distribution ~ эмпирическая функция распределения error ~ функция ошибок evaluation ~ оценочная функция exponential ~ экспоненциальная функция finance ~ финансовая служба fitled ~ эмпирическая функция fitted ~ подобранная функция fitted ~ эмпирическая функция frequency ~ плотность вероятности function разг. вечер, прием (часто public или social function) ~ действовать ~ (обыкн. pl) должностные обязанности ~ исполнять назначение ~ назначение ~ отправление (организма) ~ торжество;
торжественное собрание ~ функционировать, действовать;
выполнять функции ~ функционировать ~ мат. функция ~ функция, назначение ~ функция goal ~ целевая функция hashing ~ функция расстановки ill-behaved ~ нерегулярная функция illegal ~ вчт. запрещенная функция impure ~ вчт. функция с побочным эффектом intrinsic ~ вчт. встроенная функция inverse ~ обратная функция issuing ~ эмиссионная функция key ~ вчт. ключевая функция library ~ вчт. библиотечная функция likelihood ~ функция правдоподобия line ~ функция линейного подразделения linear utility ~ линейная функция полезности main ~ главная функция mapping ~ вчт. отображающая функция membership ~ функция принадлежности merit ~ оценочная функция nonlinear ~ нелинейная функция nonsale ~ обязанности, не связанные со сбытом nospread ~ вчт. специальная форма objective ~ вчт. целевая функция optimal decision ~ оптимальная решающая функция optimized ~ вчт. оптимизированная функция plotted ~ график функции polymorphic ~ вчт. полиморфная функция predefined ~ вчт. стандартная функция preference ~ функция предпочтения primary ~ первичная функция primitive recursive ~ вчт. примитивная рекурсивная функция processing ~ вчт. вычислительная функция processor defined ~ вчт. встроенная машинно-зависимая функция production ~ производственная функция purchasing ~ закупочная деятельность pure ~ вчт. функция без побочного эффекта ramp ~ вчт. телообразная функция ranking ~ функция ранжирования recording ~ функция учета recursive ~ рекурсивная функция regression ~ функция регрессии sales ~ отдел сбыта sales ~ торговый отдел sales ~ функция сбыта secretarial ~ должностные обязанности секретаря secretarial ~ круг обязанностей секретаря service ~ вчт. функция обслуживания shifting ~ вчт. функция сдвига shuffle ~ вчт. функция переключения signum ~ вчт. знаковая функция single-valued ~ однозначная функция staff ~ функции центрального аппарата предприятия state ~ государственная функция state ~ вчт. функция состояния statement ~ вчт. оператор -функция statistical decision ~ статистическая решающая функция stochastic ~ стохастическая функция storage ~ вчт. функция запоминания storage ~ вчт. функция хранения stream ~ вчт. потоковая функция supervising ~ контрольная функция supervisory ~ наблюдательная функция supply ~ функция предложения support ~ вчт. функция поддержки table ~ табличная функция tabulated ~ табличная функция target ~ вчт. целевая функция threshold ~ пороговая функция utility ~ вчт. утилита weight ~ весовая функцияБольшой англо-русский и русско-английский словарь > function
-
10 function
[ˈfʌnŋkʃən]address function вчт. адресная функция administrative function управленческая функция approximation function аппроксимирующая функция arithmetic function арифметическая функция array handling function вчт. функция обработки массивов as a function в качестве функции average sample number function функция среднего числа наблюдений belief function функция доверия blending function стыковочная функция Boolean function мат. булева функция buffer function согласующая функция buffer function функция буферного запаса built-in function вчт. встроенная функция built-in function стандартная функция bus resolution function вчт. функция разрешения шины circuit function вчт. схемная функция constraint function функция ограничений consumption function функция потребления convex function выпуклая функция covariance function функция ковариации criterion function оценочная функция criterion function целевая функция cumulative distribution function стат. интегральная функция распределения damped function затухающая функция decision function решающая функция degate function блокирующая функция demand function функция спроса driving function задающая функция dual function двойственная функция empiric distribution function эмпирическая функция распределения empiric function эмпирическая функция empirical distribution function эмпирическая функция распределения error function функция ошибок evaluation function оценочная функция exponential function экспоненциальная функция finance function финансовая служба fitled function эмпирическая функция fitted function подобранная функция fitted function эмпирическая функция frequency function плотность вероятности function разг. вечер, прием (часто public или social function) function действовать function (обыкн. pl) должностные обязанности function исполнять назначение function назначение function отправление (организма) function торжество; торжественное собрание function функционировать, действовать; выполнять функции function функционировать function мат. функция function функция, назначение function функция goal function целевая функция hashing function функция расстановки ill-behaved function нерегулярная функция illegal function вчт. запрещенная функция impure function вчт. функция с побочным эффектом intrinsic function вчт. встроенная функция inverse function обратная функция issuing function эмиссионная функция key function вчт. ключевая функция library function вчт. библиотечная функция likelihood function функция правдоподобия line function функция линейного подразделения linear utility function линейная функция полезности main function главная функция mapping function вчт. отображающая функция membership function функция принадлежности merit function оценочная функция nonlinear function нелинейная функция nonsale function обязанности, не связанные со сбытом nospread function вчт. специальная форма objective function вчт. целевая функция optimal decision function оптимальная решающая функция optimized function вчт. оптимизированная функция plotted function график функции polymorphic function вчт. полиморфная функция predefined function вчт. стандартная функция preference function функция предпочтения primary function первичная функция primitive recursive function вчт. примитивная рекурсивная функция processing function вчт. вычислительная функция processor defined function вчт. встроенная машинно-зависимая функция production function производственная функция purchasing function закупочная деятельность pure function вчт. функция без побочного эффекта ramp function вчт. телообразная функция ranking function функция ранжирования recording function функция учета recursive function рекурсивная функция regression function функция регрессии sales function отдел сбыта sales function торговый отдел sales function функция сбыта secretarial function должностные обязанности секретаря secretarial function круг обязанностей секретаря service function вчт. функция обслуживания shifting function вчт. функция сдвига shuffle function вчт. функция переключения signum function вчт. знаковая функция single-valued function однозначная функция staff function функции центрального аппарата предприятия state function государственная функция state function вчт. функция состояния statement function вчт. оператор -функция statistical decision function статистическая решающая функция stochastic function стохастическая функция storage function вчт. функция запоминания storage function вчт. функция хранения stream function вчт. потоковая функция supervising function контрольная функция supervisory function наблюдательная функция supply function функция предложения support function вчт. функция поддержки table function табличная функция tabulated function табличная функция target function вчт. целевая функция threshold function пороговая функция utility function вчт. утилита weight function весовая функция -
11 method
1) метод; приём; способ2) методика3) технология4) система•- accelerated strength testing method-
benching method-
bullhead well control method-
electrical-surveying method-
electromagnetic surveying method-
long-wire transmitter method-
operational method-
rule of thumb method-
straight flange method of rolling beams-
symbolical method-
tee-test method-
testing method-
triangulation method-
value-iteration method -
12 transform
преобразование результат преобразования (transformation); преобразование; операция преобразования- algorithmic transform- arithmetic transform- block recursive transform- composite transform- cryptographical transform- cryptolike transform- cryptologic transform- determinate transform- DK transform- double transform- EK transform- enciphering transform- encipherment transform- decipherment transform- functional transform- homomorphic transform- invertible transform- involutory transform- irreversible transform- iterative transform- keyed transform- keyless transform- memoryless transform- mod n transform- modulo transform- non-reversible transform- null transform- number-theoretic transform- one-dimensional transform- one-to-one enciphering transform- one-way transform- optimizing transform- permutation transform- plaintext-ciphertext transform- privacy transform- private transform- public transform- reverse transform- reversible transform- software transform- substitution transform- time-varying transformАнгло-русский словарь по компьютерной безопасности > transform
-
13 transformation
преобразование; операция преобразования- algorithmic transformation- arithmetic transformation- block recursive transformation- composite transformation- cryptographical transformation- cryptolike transformation- cryptologic transformation- determinate transformation- DK transformation- double transformation- EK transformation- enciphering transformation- encipherment transformation- decipherment transformation- functional transformation- homomorphic transformation- invertible transformation- involutory transformation- irreversible transformation- iterative transformation- keyed transformation- keyless transformation- memoryless transformation- mod n transformation- modulo transformation- non-reversible transformation- null transformation- number-theoretic transformation- one-dimensional transformation- one-to-one enciphering transformation- one-way transformation- optimizing transformation- permutation transformation- plaintext-ciphertext transformation- privacy transformation- private transformation- public transformation- reverse transformation- reversible transformation- software transformation- substitution transformation- time-varying transformationАнгло-русский словарь по компьютерной безопасности > transformation
-
14 definition
1) определение, дефиниция, формулировка2) ясность, понятность3) чёткость, резкость ( изображения)•definition by abstraction — матем. определение путём абстракции
definition by contraposition — матем. определение через противоположение
definition by correlation — матем. определение через корреляционное отношение
definition by induction — матем. определение по индукции
definition by recursion — матем. рекурсивное определение
-
15 formula
1) рецепт2) формула || формульный3) формулировка•- arithmetically valid formula - back interpolation formula - computational formula - computing formula - corrector formula - formally decidable formula - formally refutable formula - formula of finite increments - geometrically valid formula - homomorphically stable formula - identically false formula - identically true formula - intuitionistically valid formula - logically valid formula - maximum likelihood formula - modally valid formula - monotonically increasing formula - numeralwise expressible formula - numeralwise representable formula - positively valid formula - primitively recursive formula - reciprocity formula - secondarily valid formula - square stable formula - universally valid formulato follow the formula — подчиняться [следовать] формуле; описываться формулой
-
16 group
1) группа, ансамбль || групповой- roughing mill group2) совокупность; комплект3) группировка || группировать(ся)5) класс; категория || классифицировать; категоризировать6) хим. остаток7) сгусток; скопление8) узел9) матем. группа- absolute free group - absolute homotopy group - absolutely irreducible group - absolutely simple group - additively written group - adele group - adelic group - algebraically compact group - algebraically simple group - almost connected group - almost cyclic group - almost ordered group - almost periodic group - almost simple group - alternating form group - cancellative group - cellular homology group - characteristically simple group - complementing group - completely anisotropic group - completely discontinuous group - completely divisible group - completely indecomposable group - completely integrally closed group - deficient group - direct homology group - direct indecomposable group - doubly transitive group - finitely defined group - finitely generated group - finitely presented group - finitely related group - first homology group - first homotopy group - freely generated group - full linear group - full orthogonal group - full rotation group - full symmetric group - full unimodular group - group of classes of algebras - group of covering transformations - group of finite rank - group of infinite order - group of infinite rank - group of inner automorphisms - group of linear equivalence - group of linear forms - group of linear manifold - group of principal ideles - group of real line - group of recursive permutations - group of right quotients - idele class group - linearly ordered group - linearly transitive group - locally bicompact group - locally closed group - locally compact group - locally connected group - locally cyclic group - locally defined group - locally embeddable group - locally finite group - locally free group - locally infinite group - locally nilpotent group - locally normal group - locally solvable group - multiply primitive group - multiply transitive group - nonsolvable group - n-th homotopy group - ordered pair group - principal congruence group - properly orthogonal group - properly unimodular group - pure projective group - pure rotation group - pure simple group - quasipure projective group - quotient divisible group - residually nilpotent group - restricted holonomy group - sharply transitive group - simply ordered group - simply reducible group - simply transitive group - singular cogomology group - singular homology group - solvable group - stable group - strictly transitive group - strongly polycyclic group - subsolvable group - supersolvable group - totally ordered group - totally projective group - totally reducible group - triply transitive group - unitary symmetry group - unitary transformation group - value group - weak homology group - weakly mixing groupgroup with multiple operators — группа с многоместными операторами, мультиоператорная группа
-
17 method
метод; процедура; способ- antithetic variate method - average ordinate method - average range method - binary search method - conjugate directions method - conjugate gradient method - control chart method - conventional milling method - correlation function method - decision function method - differential control method - Feynman diagram method - first approximation method - gradient projection method - iterative method - large sample method - large sieve method - least-squares regression method - less than fully efficient method - linearly implicit method - method of adjoint gradient - method of algebraic addition - method of alternating directions - method of balanced blocks - method of complex numbers - method of confidence intervals - method of conformal mappings - method of conjugate directions - method of conjugate gradients - method of cyclic descent - method of detached coefficients - method of disjunction of cases - method of divided differences - method of electrical images - method of elimination of quantifiers - method of empty ball - method of extreme values - method of false position - method of feasible directions - method of finite differences - method of first approximation - method of first entrance - method of fitting constants - method of fixed points - method of full enumeration - method of generating functions - method of geometric exhaustion - method of indefinite coefficients - method of infinite descent - method of interval bisection - method of least absolute values - method of least distance - method of least likelihood - method of maximum likelihood - method of means and standard deviations - method of medians and extreme values - method of minimal change - method of minimal variance - method of mirror reflections - method of moving frame - method of multiple comparison - method of orthogonal projections - method of paired associates - method of paired comparisons - method of phase integrals - method of projecting cones - method of proportional parts - method of rotating factors - method of semantic tableaux - method of separation of variables - method of simulaneous displacements - method of stationary phase - method of statistical differentials - method of statistical inference - method of steep variations - method of steepest ascent - method of stochastic approximation - method of straightforward iteration - method of successive displacements - method of successive divisions - method of successive elimination - method of transfinite induction - method of unweighted means - method of variable differences - method of variation of parameters - method of weighted residuals - optimum method - parallel tangents method - precision method - random walk method - recursive method - reduced gradient method - reflected wave method - relative method of measurement - sampling method by variables - statistical sampling method - steepest descent method - time average method -
18 rule
1) правило, норма; норматив || устанавливать правила или нормы2) строит. прав'ило3) линейка || линовать, разлиновывать4) правление || управлять, руководить, командовать5) мат. закон6) графить, разграфлять•set closed under rule — множество, замкнутое относительно операции
- blind man's ruleto lay down the rule — формулировать [устанавливать] правило
- box rule- cut rule- em rule- slow-in- sum rule- three sigma rule -
19 sequence
1) очерёдность; порядок следования3) геол. стратиграфический разрез4) серия, комплекс•- absolutely divergent sequence - absolutely limited sequence - absolutely summable sequence - absolutely unbiased sequence - adjusted homology sequence - asymptotically convergent sequence - asymptotically isotropic sequence - asymptotically lattice sequence - compactly divergent sequence - completely reversible sequence - conditionally divergent sequence - decimal geometric sequence - delicately divergent sequence - discretely convergent sequence - essentially convergent sequence - essentially finite sequence - essentially periodic sequence - everywhere dense sequence - infinitely large sequence - infinitely proceeding sequence - infinitely small sequence - integral stationary sequence - inverse sequence - inverted sequence - linearly independent sequence - locally convergent sequence - metrically convergent sequence - metrically transitive sequence - monotonically decreasing sequence - monotonically increasing sequence - never increasing sequence - numerical sequence - projectively realizable sequence - properly divergent sequence - rapid acquisition sequence - rapidly decreasing sequence - rapidly increasing sequence - recursively defined sequence - recursively divergent sequence - recursively enumerable sequence - relatively compact sequence - sequence of prime numbers - sequence of principal indices - slowly decreasing sequence - slowly increasing sequence - slowly oscillating sequence - stochastically compact sequence - stochastically stable sequence - strictly increasing sequence - strictly measurable sequence - strictly monotonic sequence - strongly convergent sequence - strongly downward sequence - strongly stationary sequence - strongly summable sequence - totally increasing sequence - totally monotone sequence - two-taile sequence - two-way infinite sequence - unconditionally divergent sequence - uniformly divergent sequence - uniformly integrable sequence - weakly convergent sequence -
20 computation
1. n исчисление2. n вычисление; подсчёт, расчёт; выкладка3. n смета4. n вычислительная техникаcomputation graph — вычислительный граф; граф вычислений
Синонимический ряд:1. calculation (noun) calculation; ciphering; estimation; figuring; gauge; numeration; reckoning2. numbers (noun) arithmetic; figures; numbers3. total (noun) estimate; figure; result; sum; total
См. также в других словарях:
Primitive recursive arithmetic — Primitive recursive arithmetic, or PRA, is a quantifier free formalization of the natural numbers. It was first proposed by Skolem [Thoralf Skolem (1923) The foundations of elementary arithmetic in Jean van Heijenoort, translator and ed. (1967)… … Wikipedia
Recursive set — In computability theory, a set of natural numbers is called recursive, computable or decidable if there is an algorithm which terminates after a finite amount of time and correctly decides whether or not a given number belongs to the set. A more… … Wikipedia
Recursive languages and sets — This article is a temporary experiment to see whether it is feasible and desirable to merge the articles Recursive set, Recursive language, Decidable language, Decidable problem and Undecidable problem. Input on how best to do this is very much… … Wikipedia
Recursive type — In computer programming languages, a recursive type is a data type for values that may contain other values of the same type.An example is the list type, in Haskell: data List a = Nil | Cons a (List a) This indicates that a list of a s is either… … Wikipedia
Second-order arithmetic — In mathematical logic, second order arithmetic is a collection of axiomatic systems that formalize the natural numbers and sets thereof. It is an alternative to axiomatic set theory as a foundation for much, but not all, of mathematics. The… … Wikipedia
Robinson arithmetic — In mathematics, Robinson arithmetic, or Q, is a finitely axiomatized fragment of Peano arithmetic (PA), first set out in Robinson (1950). Q is essentially PA without the axiom schema of induction. Even though Q is much weaker than PA, it is still … Wikipedia
Primitive recursive function — The primitive recursive functions are defined using primitive recursion and composition as central operations and are a strict subset of the recursive functions (recursive functions are also known as computable functions). The term was coined by… … Wikipedia
Arbitrary-precision arithmetic — In computer science, arbitrary precision arithmetic indicates that calculations are performed on numbers whose digits of precision are limited only by the available memory of the host system. This contrasts with the faster fixed precision… … Wikipedia
Computability theory — For the concept of computability, see Computability. Computability theory, also called recursion theory, is a branch of mathematical logic that originated in the 1930s with the study of computable functions and Turing degrees. The field has grown … Wikipedia
Recursion theory — Recursion theory, also called computability theory, is a branch of mathematical logic that originated in the 1930s with the study of computable functions and Turing degrees. The field has grown to include the study of generalized computability… … Wikipedia
Gödel's incompleteness theorems — In mathematical logic, Gödel s incompleteness theorems, proved by Kurt Gödel in 1931, are two theorems stating inherent limitations of all but the most trivial formal systems for arithmetic of mathematical interest. The theorems are of… … Wikipedia